Mathematics of program construction - third International Conference MPC '95, Kloster Irsee, Germany, July 17-21, 1995 : proceedings
- Författare
- Bernhard Möller International Conference on Mathematics of Program Construction 1995) Kloster Irsee :
- (Bernhard Möller (ed.).)
- Genre
- Konferenser, Ej skönlitteratur, Konferenspublikation
- Språk
- Engelska
| Förlag | År | Ort | Om boken | ISBN |
|---|---|---|---|---|
| Springer | cop. 1995 | Tyskland, Berlin, New York | 472 sidor. |